lpath(p)
== i:{0..(||p|| - 1)}. destination(p[i]) = source(p[(i+1)]) & ((p[(i+1)] = lnk-inv(p[i]))) 

latex

---

clarification:

lpath(p)
== i:{0..(||p|| - 1)}.
== destination(p[i]) = source(p[(i+1)])  Id & ((p[(i+1)] = lnk-inv(p[i])  IdLnk)) 

latex

Definitions	x:A. B(x), {i..j}, ||as||, P & Q, Id, destination(l), source(l), A, IdLnk, lnk-inv(l), l[i]
FDL editor aliases	lpath